Method and system of software specification modeling

A tool that automates the translation of natural-language software requirements into a human- and machine-readable formal specification model, bridging the gap between informal requirements capture and rigorous model-based design for safety-critical software.

Inventors

Kit Yan Siu, Andrew Walter Crapo, Michael Richard Durling, Luca Parolini, Panagiotis Manolios, Han Yu, Scott Alan Stacey

Patent no.

US9747079B2

Assignee

General Electric Company

Abstract

According to some embodiments, a system includes a communication device operative to communicate with a user to obtain the one or more requirements associated with a specification model for a semantic module; a semantic module to receive the one or more requirements, store the one or more requirements and transform the one or more requirements into a semantic model; a specification module to receive the semantic model, store the semantic model, translate the semantic model and generate a specification model; a memory for storing program instructions; at least one specification model platform processor, coupled to the memory, and in communication with the specification module and the semantic module and operative to execute program instructions to: transform the one or more requirements into a semantic model by executing the semantic module; translate the semantic model into a graphical model by executing the specification module; and modify the graphical model by executing the specification module to generate the specification model; and generate a specification model that is human-readable and computer-readable for use in software design. Numerous other aspects are provided.

Filings

Jurisdiction	Kind	Application / Publication no.	Date
US	Application	US14/570,513	2014-12-15
US	Publication	US20160170714A1	2016-06-16
US	Grant	US9747079B2	2017-08-29

Related

• patent System and method for model based technology and process for safety-critical software development · GE Global Research · 2019